1. Complexity of proofs and their transformations in axiomatic theories /
پدیدآورنده : V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory
رده :
QA9
.
54
.
O7413
1993
2. Logical and logico-mathematical calculi.2
پدیدآورنده : edited by V. P. Orevkov
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
1
.
P736
Vol
.
121
3. Problems in the constructive trend in mathematics
پدیدآورنده : edited by V. P. Orevkov and M. A. Sanin
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Constructive mathematics
رده :
QA
1
.
P736
Vol
.
93
,
etc
4. The Calculi of symbolic logic, 1
پدیدآورنده : edited by V. P. Orevkov
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
1
.
P736
Vol
.
98
